Assuring Software Reliability
نویسندگان
چکیده
xi
منابع مشابه
Toward A Quantitative Method for Assuring Coordinated Autonomy CMU-RI-TR-13-12
One of the biggest obstacles to the procurement and deployment of coordinated autonomous systems is the difficulty of assuring them, that is, to set and manage their performance expectations. This article introduces a reliability engineering assurance approach based on probabilistic model checking. It also introduces two models to guide and extend the reliability engineering approach: (1) a cha...
متن کاملToward A Quantitative Method for Assuring Coordinated Autonomy
One of the biggest obstacles to the procurement and deployment of coordinated autonomous systems is the difficulty of assuring them, that is, to set and manage their performance expectations. This article introduces a reliability engineering assurance approach based on probabilistic model checking. It also introduces two models to guide and extend the reliability engineering approach: (1) a cha...
متن کاملSoftware Reliability in Semantic Web Service Composition Applications
Web Service Composition allows the development of easily reconfigurable applications that can be quickly adapted to business changes. Due to the shift in paradigm from traditional systems, new approaches are needed in order to evaluate the reliability of web service composition applications. In this paper we present an approach based on intelligent agents for semiautomatic composition as well a...
متن کاملCapturing The Combined Effect Of Testing Time And Testing Coverage Using Two Dimensional Software Reliability Growth Models
Software Reliability is the likelihood of breakdown free operation of software in a provided time period under specified conditions. Software testing is a process to detect faults in the totality and worth of developed computer software. Testing is very essential tool in assuring the quality of the software by identifying different faults in software, and possibly removing them. But testing of ...
متن کاملTwo Dimensional Software Reliability Growth Models Using Cobb-Douglas Production Function and Yamada S-Shaped Model
Software reliability is the likelihood of the failure free function of software in a given period of time under some certain circumstances. Software testing can be defined as the process to detect the faults in totality and worth of developed computer software. Testing is very much important in assuring the quality of the software by identifying faults in software, and also most possibly removi...
متن کامل